Edmund M. Clarke: ძიება ვებგვერდზე Z-Library

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024

Z-Library - ერთ-ერთი უდიდესი ონლაინ ბიბლიოთეკა მსოფლიოში, რომელშიც ინახება მეტი 17,000,000 წიგნი და 84,837,000 სტატია. ჩვენ ვისწრაფვით ლიტერატურა ხელმისაწვდომი გახდეს თითოეულისთვის დღეს (15 სექტემბერს 2024) ჩვენ ვიწყებთ შემოწირულობათა დამატებით შეგროვებას პროექტის მხარდასაჭერად და განვითარების ხელშესაწყობად.

ასევე, ულიმიტო ჩამოტვირთვები (შემოწირულების დღიდან 31 დღე) ხელმისაწვდომი იქნება ყველა მომხმარებლისთვის, ვინც შემოწირულობას ჩარიცხავს თანხის მოკრების პერიოდში, 1 ოქტომბერს 2024- მდე.

თანხის შეგროვების შესახებდეტალურად

მხარდაჭერა

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Model checking

Model checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

წელი:

1999

ენა:

english

ფაილი:

DJVU, 1.88 MB

0 / 0

english, 1999

2

Model Checking (Cyber Physical Systems Series)

Model Checking (Cyber Physical Systems Series)

Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith

წელი:

2018

ენა:

english

ფაილი:

EPUB, 15.52 MB

0 / 5.0

english, 2018

3

Understanding Corporate Pension Plans

Understanding Corporate Pension Plans

The Financial Analysts Research Foundation (Research Foundation of CFA Institute)

Edmund A. Mennis, Chester D. Clark

წელი:

1983

ენა:

english

ფაილი:

PDF, 2.69 MB

0 / 0

english, 1983

4

Model checking

Model checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

წელი:

1999

ენა:

english

ფაილი:

DJVU, 3.22 MB

0 / 0

english, 1999

5

25 Years of Model Checking: History, Achievements, Perspectives

25 Years of Model Checking: History, Achievements, Perspectives

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 41.36 MB

0 / 0

english, 2008

6

Model Checking

Model Checking

Edmund M. Clark Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith

წელი:

2018

ენა:

english

ფაილი:

EPUB, 13.56 MB

0 / 0

english, 2018

7

Model Checking

Model Checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

წელი:

1999

ენა:

english

ფაილი:

DJVU, 2.13 MB

0 / 0

english, 1999

8

Application and Theory of Petri Nets 1994: 15th International Conference Zaragoza, Spain, June 20–24, 1994 Proceedings

Application and Theory of Petri Nets 1994: 15th International Conference Zaragoza, Spain, June 20–24, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke (auth.), Robert Valette (eds.)

წელი:

1994

ენა:

english

ფაილი:

DJVU, 5.98 MB

0 / 0

english, 1994

9

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke (auth.), Dragan Bošnački, Stefan Leue (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 2.61 MB

0 / 0

english, 2002

10

Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke Jr. (auth.), Wojciech Penczek, Andrzej Szałas (eds.)

წელი:

1996

ენა:

english

ფაილი:

PDF, 10.56 MB

0 / 0

english, 1996

11

Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke Jr. (auth.), Wojciech Penczek, Andrzej Szałas (eds.)

წელი:

1996

ენა:

english

ფაილი:

DJVU, 5.03 MB

0 / 0

english, 1996

12

Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke Jr. (auth.), Edmund M. Clarke, Robert P. Kurshan (eds.)

წელი:

1991

ენა:

english

ფაილი:

DJVU, 3.97 MB

0 / 0

english, 1991

13

Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke, Paolo Zuliani (auth.), Tevfik Bultan, Pao-Ann Hsiung (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 6.99 MB

0 / 0

english, 2011

14

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke (auth.), Dragan Bošnački, Stefan Leue (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 3.46 MB

0 / 0

english, 2002

15

Artists/Hawaii

Artists/Hawaii

University of Hawaii Press

Joan Clarke (editor), Diane Dods (editor), Dana Edmunds (editor)

წელი:

2022

ენა:

english

ფაილი:

PDF, 77.79 MB

0 / 0

english, 2022

16

Socialist Development and Public Investment in Tanzania, 1964-73

Socialist Development and Public Investment in Tanzania, 1964-73

University of Toronto Press

W. Edmund Clark

წელი:

1978

ენა:

english

ფაილი:

PDF, 14.23 MB

0 / 0

english, 1978

17

Handbook of Model Checking

Handbook of Model Checking

Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem (eds.)

წელი:

2018

ენა:

english

ფაილი:

PDF, 10.90 MB

5.0 / 5.0

english, 2018

18

Handbook of model checking

Handbook of model checking

Springer International Publishing

Bloem, Roderick, Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut et al. (eds.)

წელი:

2018

ენა:

english

ფაილი:

PDF, 7.97 MB

0 / 0

english, 2018

19

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Edmund M. Clarke, Andrei Voronkov

წელი:

2011

ენა:

english

ფაილი:

PDF, 6.40 MB

0 / 0

english, 2011

20

Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke, William Klieber (auth.), Bertrand Meyer, Martin Nordio (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 2.27 MB

0 / 0

english, 2012

21

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

Springer Netherlands

Edmund M. Clarke, Flavio Lerda (auth.), Chairman S. Ramesh, Prahladavaradan Sampath (eds.)

წელი:

2007

ენა:

english

ფაილი:

PDF, 6.49 MB

0 / 0

english, 2007

22

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 5.38 MB

0 / 0

english, 2010

23

25 Years of Model Checking: History, Achievements, Perspectives

25 Years of Model Checking: History, Achievements, Perspectives

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)

წელი:

2008

ენა:

english

ფაილი:

DJVU, 4.00 MB

0 / 0

english, 2008

24

Automated Deduction – CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings

Automated Deduction – CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke (auth.), Franz Baader (eds.)

წელი:

2003

ენა:

english

ფაილი:

PDF, 5.72 MB

0 / 0

english, 2003

25

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)

წელი:

1984

ენა:

english

ფაილი:

DJVU, 5.98 MB

0 / 0

english, 1984

26

Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers

Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Eike Best, Philippe Darondeau (auth.), Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 5.51 MB

0 / 0

english, 2012

27

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 8.19 MB

0 / 0

english, 2010

28

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)

წელი:

1984

ენა:

english

ფაილი:

PDF, 14.67 MB

0 / 0

english, 1984